"Wolfram Pohlers" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

An introduction to mathematical logic

Wolfram Pohlers (author), Thomas Glaß (editor)

982 Kb

#2

Proof Theory

Wolfram Pohlers

9.81 Mb

#3

Proof Theory. An Introduction

Wolfram Pohlers, Pohlers

Категория: Lecture notes

1.55 Mb

#4

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

3.82 Mb

#5

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

3.42 Mb